Prototyping "Systems that Explain Themselves" for Education
نویسندگان
چکیده
منابع مشابه
Prototyping"Systems that Explain Themselves"for Education
“Systems that Explain Themselves” appears a provocative wording, in particular in the context of mathematics education — it is as provocative as the idea of building educational software upon technology from computer theorem proving. In spite of recent success stories like the proofs of the Four Colour Theorem or the Kepler Conjecture, mechanised proof is still considered somewhat esoteric by m...
متن کاملAgents that Learn to Explain Themselves
Intelligent artificial agents need to be able to explain and justify their actions. They must therefore understand the rationales for their own actions. This paper describes a technique for acquiring this understanding, implemented in a multimedia explanation system. The system determines the motivation for a decision by recalling the situation in which the decision was made, and replaying the ...
متن کاملPrograms that Model Themselves
Work on reeection has frequently concentrated on programming languages and operating systems. This work either involves the use of tower reeection or meta-object protocols. The subject of this paper is a diierent form of reeection that is, we believe, more powerful and fundamental than the other kinds. Self modelling is a process that has not received attention in the literature; indeed, we bel...
متن کاملAgents That Model Themselves
In this paper, we adopt a symbolic interactionist perspective on Multi-Agent Systems. We investigate the uses and genesis of agent models, both Self and acquaintance models and argue that the symbolic interactionist view is superior to the ad hoc, static and somewhat low-level approach adopted at present. We consider agent models|both Self and acquaintance models|as devices for making predictio...
متن کاملThings That Change by Themselves
Some fluents (for instance, time) change even after events that are not assumed to affect them (such as the action wait). We propose a formal-ization of the "commonsense law of inertia" in the situation calculus that allows us to describe such fluents. 1 Introduction The frame problem in Artificial Intelligence is the problem of specifying formally "what doesn't change when an event occurs" in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2018
ISSN: 2075-2180
DOI: 10.4204/eptcs.267.6